Inria International Partners

Informal International Partners

The team has an informal partnership with Pr. James Royer (University of Syracuse) and PhD. Norman Danner (Wesleyan University) on the study of program higher order complexity (an Inria associated team proposal has been submitted on this domain). On the Implicit Computational Complexity part, the team has strong contacts with Universita di Torino (Pr Simona Ronchi Della Rocca), Dundee University(PhD Marco Gaboardi), Universita di Bologna (Pr Simone Martini and PhD Ugo Dal Lago).